Machines, Logic and Quantum Physics

Logic and Quantum Physics

Current research in Logic is no longer confined to the traditional study of logical consequence or valid inference. As can be witnessed by the range of topics covered in this special issue, the subject matter of logic encompasses several kinds of informational processes ranging from proofs and inferences to dialogues, observations, measurements, communication and computation. What interests us ...

Quantum Logic, Quantum Histories and Quantum Turing Machines

Turing machines based on unsharp quantum logic

In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E , we introduce E -valued non-deterministic Turing machines (E NTMs) and E -valued deterministic Turing machines (E DTMs). We discuss different E valued recursively enumerable languages from width-first and depth-first recognition. We find that width-first recog...

Logic–linguistic remarks on quantum physics

The logic–linguistic structure of quantum physics is analysed. The role of formal systems and interpretations in the representation of nature is investigated. The problems of decidability, completeness, and consistency can affect quantum physics in different ways. Bohr’s complementarity is of great interest, because it is a contradictory proposition. We shall see that the flowing of time preven...

Quantum Physics: A Case for Anti-Realism?